|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
12/12/1997 |
Data da última atualização: |
17/03/2011 |
Autoria: |
PENG, T.; MA, J.; KNIGHT, B. |
Afiliação: |
TAOXIN PENG, University of Greenwich; JIXIN MA, University of Greenwich; BRIAN KNIGHT, University of Greenwich. |
Título: |
Probabilistic temporal reasoning in the situation calculus. |
Ano de publicação: |
1997 |
Fonte/Imprenta: |
In: CONGRESO INTERNACIONAL DE INGENIERIA INFORMÁTICA, 3., 1997, Buenos Aires. Proceedings... Buenos Aires: Universidad de Buenos Aires, Facultad de Inginieria, 1997. |
Páginas: |
p. 264-273. |
Idioma: |
Inglês |
Conteúdo: |
Theories of action and change usually involve reasoning about time and uncertainty with regard to the truth of propositions and the occurrences of actions. In most situations, however, there is not enough information to make certain predictions. When agents devise plans for execution in the real world, they face two forms of uncertainty: they can never have complete knowledge about the situation of the real world, and they do not have complete control, as the effects of actions are uncertain, and the temporal expression of knowledge: when some propositions hold true and how long they persist. While most classical (planning) approaches avoid explicit uncertainty reasoning and the methods based on situation calculus avoid temporal information as well, we believe that uncertainty should be explicitly represented and reasoned about, and the techniques for temporal information are needed. This paper presents a formalism for temporal and probabilistic reasoning in the framework of the situation calculus. The ontology of the situation calculus is enriched by introducing a new sort for times. Starting from a given situation, an action may perform over some special time to change the world into different resulting situations. The uncertainty of the occurrences of actions is captured by a probability distribution over the possible actions with regard to the corresponding situation. The formalism allows representation of the probability that relevant fluents will hold at a specified time, and provides a mechanism with quantitative answers to questions such as "Starting from a given situation, with what probability will the world change into situation sit after some actions perform sequentially?", etc. Also, this paper presents a discussion on the frame problem form uncertain actions and provides a simple solution (sometimes) in the extended formalism. MenosTheories of action and change usually involve reasoning about time and uncertainty with regard to the truth of propositions and the occurrences of actions. In most situations, however, there is not enough information to make certain predictions. When agents devise plans for execution in the real world, they face two forms of uncertainty: they can never have complete knowledge about the situation of the real world, and they do not have complete control, as the effects of actions are uncertain, and the temporal expression of knowledge: when some propositions hold true and how long they persist. While most classical (planning) approaches avoid explicit uncertainty reasoning and the methods based on situation calculus avoid temporal information as well, we believe that uncertainty should be explicitly represented and reasoned about, and the techniques for temporal information are needed. This paper presents a formalism for temporal and probabilistic reasoning in the framework of the situation calculus. The ontology of the situation calculus is enriched by introducing a new sort for times. Starting from a given situation, an action may perform over some special time to change the world into different resulting situations. The uncertainty of the occurrences of actions is captured by a probability distribution over the possible actions with regard to the corresponding situation. The formalism allows representation of the probability that relevant fluents will hold at a specified ti... Mostrar Tudo |
Palavras-Chave: |
Inteligência artificial; Ontologia; Probabilidade. |
Thesaurus Nal: |
Artificial intelligence; Probability. |
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
Marc: |
LEADER 02559naa a2200217 a 4500 001 1005514 005 2011-03-17 008 1997 bl uuuu u00u1 u #d 100 1 $aPENG, T. 245 $aProbabilistic temporal reasoning in the situation calculus. 260 $c1997 300 $ap. 264-273. 520 $aTheories of action and change usually involve reasoning about time and uncertainty with regard to the truth of propositions and the occurrences of actions. In most situations, however, there is not enough information to make certain predictions. When agents devise plans for execution in the real world, they face two forms of uncertainty: they can never have complete knowledge about the situation of the real world, and they do not have complete control, as the effects of actions are uncertain, and the temporal expression of knowledge: when some propositions hold true and how long they persist. While most classical (planning) approaches avoid explicit uncertainty reasoning and the methods based on situation calculus avoid temporal information as well, we believe that uncertainty should be explicitly represented and reasoned about, and the techniques for temporal information are needed. This paper presents a formalism for temporal and probabilistic reasoning in the framework of the situation calculus. The ontology of the situation calculus is enriched by introducing a new sort for times. Starting from a given situation, an action may perform over some special time to change the world into different resulting situations. The uncertainty of the occurrences of actions is captured by a probability distribution over the possible actions with regard to the corresponding situation. The formalism allows representation of the probability that relevant fluents will hold at a specified time, and provides a mechanism with quantitative answers to questions such as "Starting from a given situation, with what probability will the world change into situation sit after some actions perform sequentially?", etc. Also, this paper presents a discussion on the frame problem form uncertain actions and provides a simple solution (sometimes) in the extended formalism. 650 $aArtificial intelligence 650 $aProbability 653 $aInteligência artificial 653 $aOntologia 653 $aProbabilidade 700 1 $aMA, J. 700 1 $aKNIGHT, B. 773 $tIn: CONGRESO INTERNACIONAL DE INGENIERIA INFORMÁTICA, 3., 1997, Buenos Aires. Proceedings... Buenos Aires: Universidad de Buenos Aires, Facultad de Inginieria, 1997.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registros recuperados : 9 | |
5. | | AUGUSTI, P. R.; TORMA, P. C. M. R.; BRASIL, A. V.; CARVALHO, A. V.; RABELO, T. K.; RIOS, A. de O. Avaliação da citotoxicidade de extratos hidroetanólicos de genótipos de açaí (Euterpe oleracea) em células SH-SY5Y. In: CONGRESSO BRASILEIRO DE CIÊNCIA E TECNOLOGIA DE ALIMENTOS, 25., 2016, Gramado. Anais... Gramado: SBCTA Regional, 2016.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Amazônia Oriental. |
| |
6. | | GASPAROTTO, J.; SOMENSI, N.; BORTOLIN, R. C.; MORESCO, K. S.; GIRARDI, C. S.; KLAFKE, K.; RABELO, T. K.; MORRONE, M. da S.; VIZZOTTO, M.; RASEIRA, M. do C. B.; MOREIRA, J. C. F.; GELAIN, D. P. Effects of different products of peach (Prunus persica L. Batsch) from a variety developed in southern Brazil on oxidative stress and inflammatory parameters in vitro and ex vivo. Journal of Clinical Biochemistry and Nutrition, v. 55, n. 2, p. 110-119, Sep. 2014.Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 1 |
Biblioteca(s): Embrapa Clima Temperado. |
| |
7. | | TORMA, P. do C. M. R.; BRASIL, A. V. S.; CARVALHO, A. V.; JABLONSKI, A.; RABELO, T. K.; MOREIRA, J. C. F.; GELAIN, D. P.; FLÔRES, S. H.; AUGUSTI, P. R.; RIOS, A. de O. Hydroethanolic extracts from different genotypes of açaí (Euterpe oleracea) presented antioxidant potential and protected human neuron-like cells (SH-SY5Y). Food Chemistry, v. 222, p. 94-104, May 2017.Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 1 |
Biblioteca(s): Embrapa Amazônia Oriental. |
| |
8. | | TORMA, P. C. M. R.; BRASIL, A. V. S.; SCHMIDT, L.; CARVALHO, A. V.; JABLONSKI, A.; RABELO, T. K.; MOREIRA, J. C. F.; GELAIN, D. P.; FLÔRES, S. R.; AUGUSTI, P. R.; RIOS, A. O. Scavenger potential of different genotypes of açaí (Euterpe Oleracea) in cell-free system and neuron-like cells (SH-SY5Y). In: LATIN AMERICAN SYMPOSIUM OF FOOD SCIENCE, 12., 2017, Campinas, SP. Anais... Campinas, SP: UNICAMP, 2017.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Amazônia Oriental. |
| |
9. | | GASPAROTTO, J.; SOMENSI, N.; BORTOLIN, R. C.; GIRARDI, C. S.; KUNZLER, A.; RABELO, T. K.; SCHNORR, C. E.; MORESCO, K. Z.; BASSANI, V. L.; YATSU, F. K. J.; VIZZOTTO, M.; RASEIRA, M. do C. B.; ZANOTTO-FILHO, A.; MOREIRA, J. C. F.; GELAIN, D. P. Preventive supplementation with fresh and preserved peach attenuates CCl4-induced oxidative stress, inflammation and tissue damage. The Journal of Nutritional Biochemistry, v. 25, n. 12, p. 1282?1295, Dec. 2014.Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 1 |
Biblioteca(s): Embrapa Clima Temperado. |
| |
Registros recuperados : 9 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|